numerical semantics

数值语义学